Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.81%. Comparing base (39587ff) to head (4ba8f10).
Report is 22 commits behind head on master.

❗ Current head 4ba8f10 differs from pull request most recent head 1c16e59. Consider uploading reports for the commit 1c16e59 to get more accurate results

@@            Coverage Diff             @@
##           master     #102      +/-   ##
==========================================
- Coverage   95.61%   93.81%   -1.81%     
==========================================
  Files         160      159       -1     
  Lines        4950     3814    -1136     
==========================================
- Hits         4733     3578    -1155     
- Misses        217      236      +19     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

I found annoying in this command:

python3 get_exper_res.py --seahorn --usecrab --crab

that we need two crab-related options: --usecrab and --crab.
I think that --usecrab is used to compile the whole verify-c-common repo while --crab is passed to the verify command.
I always found strange that this python script tries to build the repo.
I think it shouldn't do it but I guess you have your own reasons for that.

We implemented those two scripts for paper experiments. For now, we wish to have more experiments on verify-c-common. I also made a change to avoid using the build folder (so do not remove everything on that folder). The folder name is automatically generated by a given extra flag.